what is sevendivided by three